Falsifying Oscillation Properties of Parametric Biological Models
نویسندگان
چکیده
منابع مشابه
Falsifying Oscillation Properties of Parametric Biological Models
We propose an approach to falsification of oscillation properties of parametric biological models, based on the recently developed techniques for testing continuous and hybrid systems. In this approach, an oscillation property can be specified using a hybrid automaton, which is then used to guide the exploration in the state and input spaces to search for the behaviors that do not satisfy the p...
متن کاملFalsifying Safety Properties Through Games on Over-approximating Models
Abstractions of programs are traditionally over-approximations and have proved to be useful for the verification of safety properties. They are presently perceived as being useless for the falsification of safety properties, i.e. showing that program execution definitely reaches a “bad” state. Alternative techniques, such as the computation of under-approximating must transitions, have addresse...
متن کاملMagneto-optic parametric oscillation.
We develop a model of large-signal steady-state magneto-optic parametric oscillation in the Faraday configuration of a singly resonant cavity. The conversion efficiency and the threshold and phase-matching conditions are discussed, and we show that tunable phase matching can be achieved by use of a static magnetic field, eliminating any walk-off effects.
متن کاملThe dielectric properties of biological tissues: III. Parametric models for the dielectric spectrum of tissues.
A parametric model was developed to describe the variation of dielectric properties of tissues as a function of frequency. The experimental spectrum from 10 Hz to 100 GHz was modelled with four dispersion regions. The development of the model was based on recently acquired data, complemented by data surveyed from the literature. The purpose is to enable the prediction of dielectric data that ar...
متن کاملAnalysis of parametric biological models with non-linear dynamics
In this paper we present recent results on parametric analysis of biological models. The underlying method is based on the algorithms for computing trajectory sets of hybrid systems with polynomial dynamics. The method is then applied to two case studies of biological systems: one is a cardiac cell model for studying the conditions for cardiac abnormalities, and the second is a model of insect ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.125.4